Function isotope::util::lattice_ord [−][src]
pub const fn lattice_ord(left: Ordering, right: Ordering) -> Option<Ordering>
Expand description
Join two orderings to form a lattice
pub const fn lattice_ord(left: Ordering, right: Ordering) -> Option<Ordering>
Join two orderings to form a lattice